Iscalc: An Interactive Symbolic Computation Framework (System Description)

نویسندگان

چکیده

Abstract The need to verify symbolic computation arises in diverse application areas. In this paper, based on earlier work verifying of definite integrals , we present a tool for performing variety computations interactively, taking middle ground terms easy use and rigor between computer algebra systems interactive theorem provers. supports user-level definitions dependency among computations, allowing construction reuse custom theories. Side conditions are checked best-effort basis. is applied highly non-trivial from the textbook Inside Interesting Integrals.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Symbolic computation of the Duggal transform

Following the results of cite{Med}, regarding the Aluthge transform of polynomial matrices, the symbolic computation of the Duggal transform of a polynomial matrix $A$ is developed in this paper, using the polar decomposition and the singular value decomposition of $A$. Thereat, the polynomial singular value decomposition method is utilized, which is an iterative algorithm with numerical charac...

متن کامل

An Interactive Programming System for Media Computation

As digital video is manipulated by increasingly powerful computers, many new applications are becoming viable. This thesis investigates the programming language aspects of controlling such video applications. It presents the design, implementation, and use of PAVES, a direct manipulation system that combines aspects of visualization and multimedia systems to form an interactive video programmin...

متن کامل

FINDX: Framework for Interactive Data Exploration An Object-Oriented Symbolic Visualization Framework for Exploring Multidimensional Data

Mayer & Cukier (2013) state that “Data can reveal secrets to those with the humility, the willingness, and the tools to listen”. To facilitate the ‘listening process’, this research proposes a desktop Virtual Reality tool to interactively explore data online. In order to explore data and extract information, it is imperative to view the data objectively and listen carefully to the interactions ...

متن کامل

Knowledge Representation Interactive System for Symbolic Mathematics

We present schematic architecture for Internet based Knowledge Representation Interactive System which deals with mathematics story problem solving. The aim of this work is to develop an interactive system to accept mathematics story problem, process and give natural language answer. Our system uses propositional semantic network approach in natural language processing system with constraint so...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Lecture Notes in Computer Science

سال: 2023

ISSN: ['1611-3349', '0302-9743']

DOI: https://doi.org/10.1007/978-3-031-38499-8_33